1221. Logic and discrete mathematics :
Author: Willem Conradie, Valentin Goranko.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Textbooks.,Logic, Symbolic and mathematical, Textbooks.

1222. Logic and discrete mathematics: A computer science perspective
Author: Winfried Karl Grassmann, Jean - Paul Tremblay
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Computer science - Mathematics
Classification :
QA
,
76
.
9
,.
M35G725
,
1996


1223. Logic and discrete mathematics: a computer science perspectine
Author: Grassmann, Winfried Karl
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Logic, Symbolic and mathematical ► Computer science-mathematics
Classification :
005
G878l


1224. Logic and discrete mathematics : a computer science perspective
Author: Grassmann, Winfried K.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science - Mathematics
Classification :
QA
76
.
9
.
M35
G725
1996


1225. Logic and discrete mathematics: a computer science perspective
Author: / Winfried Karl Grassmann, Jean-Paul Tremblay
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer science- Mathematics
Classification :
QA76
.
9
.
M35G725
1996


1226. Logic and discrete mathematics: a computer science perspective
Author: Grassmann, Winfried K.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Mathematics ، Computer science
Classification :
QA
76
.
9
.
M35
G725
1996


1227. Logic and random structures
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Computer science- Mathematics- Congresse►Logic, Symbolic and mathematical- Congresses
Classification :
76
.
9
.
M35
,
L6

1228. Logic & discrete mathematics, a computer science perspective
Author: Grassmann, Winfried Karl
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Computer science - mathematics
Classification :
QA
76
.
9
.
M35
G7


1229. Logic for applications
Author: Nerode, Anil
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science - Mathematics , Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
N47
1997


1230. Logic for applications
Author: Nerode, Anil
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Mathematics,، Logic, Symboloc and mathematical
Classification :
QA
76
.
9
.
M35
.
N47
1997


1231. Logic for applications
Author: / Anil Nerode, Richard A. Shore
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science-mathematics,Logic, Symbolic and mathematical
Classification :
QA76
.
9
.
M35
,
N47
1997


1232. Logic for applications /
Author: Anil Nerode, Richard A. Shore
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics,Logic, Symbolic and mathematical
Classification :
QA76
.
9
.
M35
N47
1997


1233. Logic in computer science: proceedings: 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts
Author: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Mathematics - Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
S9393
2001


1234. Logica: Metodo Breve
Author: by Daniele Mundici.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic, Symbolic and mathematical.,Mathematics.,Semantics.

1235. Logical Methods
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,Logic design,Mathematics,علوم کامپیوتر,طراحی منطقی,ریاضیات
Classification :
E-Book
,

1236. Logical Methods
Author: edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Logic, Symbolic and mathematical.,Mathematics.

1237. Logical Thinking in the Pyramidal Schema of Concepts
Author: / Lutz Geldsetzer, Richard L. Schwartz
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
Classification :
QA9
.
G325
2013


1238. MATLAB 7 :
Author: Christoph Überhuber ; Stefan Katzenbeisser ; Dirk Praetorius.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Mathematics.,Computer science.,Computer software.,Mathematics.,MATLAB 7.0
Classification :
QA76
.
75-76
.
765


1239. MFDBS'89 : 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrad, Hungary, June 26-30, 1989 : Proceedings
Author: J. Demetrovics, B. Thalheim, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Database management,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
364


1240. MFDBS 89: 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrad, Hungary, June 26-30, 1989: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Database management,Mathematics Congresses ، Computer science
Classification :
QA
76
.
9
.
D3
.
S975
1989

